This chapter gives an overview of T as a programming language.
The T language logically comprises three distinct components:
| an external representation for objects as character sequences, |
| a core language - syntax and semantics for expressions, and |
| a standard environment - the behavior of the objects which are values of system variables. |